extern char stack[512];
extern int top;

char pop(void) {
	return stack[top--];
}
